Fundraising September 15, 2024 – October 1, 2024 About fundraising
1
Elements of Logical Reasoning

Elements of Logical Reasoning

von Plato J.
Year:
2014
Language:
english
File:
PDF, 1.41 MB
0 / 0
english, 2014
2
Structural Proof Theory

Structural Proof Theory

Sara Negri, Jan von Plato, Aarne Ranta (Appendix)
Year:
2008
Language:
english
File:
PDF, 5.15 MB
5.0 / 5.0
english, 2008
5
Proof Analysis: A Contribution to Hilbert's Last Problem

Proof Analysis: A Contribution to Hilbert's Last Problem

Sara Negri, Jan von Plato
Year:
2011
Language:
english
File:
PDF, 1.56 MB
0 / 0
english, 2011
6
Kurt Gödel: The Princeton Lectures on Intuitionism

Kurt Gödel: The Princeton Lectures on Intuitionism

Maria Hämeen-Anttila (editor), Jan von Plato (editor)
Year:
2021
Language:
english
File:
PDF, 1.01 MB
0 / 0
english, 2021
7
Chapters from Gödel’s Unfinished Book on Foundational Research in Mathematics

Chapters from Gödel’s Unfinished Book on Foundational Research in Mathematics

Jan von Plato
Year:
2022
Language:
english
File:
PDF, 877 KB
5.0 / 5.0
english, 2022
8
Structural Proof Theory

Structural Proof Theory

Sara Negri, Jan von Plato, Aarne Ranta (Appendix)
Year:
2008
Language:
english
File:
PDF, 5.37 MB
5.0 / 0
english, 2008
10
Proof Analysis: A Contribution to Hilbert's Last Problem

Proof Analysis: A Contribution to Hilbert's Last Problem

Sara Negri, Jan von Plato
Year:
2011
Language:
english
File:
PDF, 1.66 MB
0 / 5.0
english, 2011
11
Proof Analysis: A Contribution to Hilbert's Last Problem

Proof Analysis: A Contribution to Hilbert's Last Problem

Sara Negri, Jan von Plato
Year:
2011
Language:
english
File:
PDF, 972 KB
0 / 0
english, 2011
12
The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age

The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age

Jan von Plato
Year:
2017
Language:
english
File:
PDF, 1.99 MB
5.0 / 0
english, 2017
13
Structural Proof Theory

Structural Proof Theory

Sara Negri, Jan von Plato, Aarne Ranta (Appendix)
Year:
2008
Language:
english
File:
DJVU, 1.45 MB
0 / 0
english, 2008
15
Zeusi nimel: kreeklased - mõistatused - argonaudid

Zeusi nimel: kreeklased - mõistatused - argonaudid

Plato., Däniken, Erich von
Year:
2005
Language:
estonian
File:
PDF, 24.25 MB
0 / 0
estonian, 2005
16
Kurt Gödel

Kurt Gödel

Maria Hämeen-Anttila, Jan von Plato
Year:
2023
Language:
english
File:
PDF, 4.39 MB
0 / 5.0
english, 2023
18
Portrait of Young Gödel: Education, First Steps in Logic, the Problem of Completeness

Portrait of Young Gödel: Education, First Steps in Logic, the Problem of Completeness

Jan von Plato
Year:
2024
Language:
english
File:
PDF, 4.13 MB
0 / 5.0
english, 2024
19
Chapters from Gödel’s Unfinished Book on Foundational Research in Mathematics

Chapters from Gödel’s Unfinished Book on Foundational Research in Mathematics

Jan von Plato
Year:
2022
Language:
english
File:
PDF, 1.47 MB
0 / 5.0
english, 2022
20
Hitler's Slaves: Life Stories of Forced Labourers in Nazi-Occupied Europe

Hitler's Slaves: Life Stories of Forced Labourers in Nazi-Occupied Europe

Alexander von Plato, Almut Leh, Christoph Thonfeld
Year:
2010
Language:
english
File:
PDF, 1.93 MB
0 / 0
english, 2010
21
Hitler's Slaves

Hitler's Slaves

Thonfeld, Christoph., Leh, Almut., Plato, Alexander von.
Year:
2013
Language:
english
File:
PDF, 2.57 MB
0 / 0
english, 2013
24
The End of the Cold War?: Bush, Kohl, Gorbachev, and the Reunification of Germany

The End of the Cold War?: Bush, Kohl, Gorbachev, and the Reunification of Germany

Alexander von Plato (auth.)
Year:
2015
Language:
english
File:
PDF, 1.75 MB
0 / 0
english, 2015
25
Saved from the cellar: Gerhard Gentzen's shorthand notes on logic and foundations of mathematics

Saved from the cellar: Gerhard Gentzen's shorthand notes on logic and foundations of mathematics

Jan von Plato
Year:
2017
Language:
english
File:
PDF, 2.11 MB
0 / 0
english, 2017